<?php

class TicketsPeer extends BaseTicketsPeer
{
}
